$\forall$$i$:Id, $L$:Knd List, $l$:IdLnk, ${\it tg}$:Id. @$i$: only $L$ sends on ($l$ with ${\it tg}$) $\in$ Dsys